Issue950a.agda:19,1-8
Cannot eliminate type  A  with projection  x
when checking that the clause x f = ? has type A
